Working toward showing the decidability of the $\forall \exists $ -theory of the ${\Sigma ^0_2}$ -enumeration degrees, we prove that no so-called Ahmad pair of ${\Sigma ^0_2}$ -enumeration degrees can join to ${\mathbf 0}_e'$.

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

Collection of works on literature theory, translated into Mongolian language.

This paper discusses the role the question of being plays in the development of Heidegger’s thought. It is shown that the basic question of traditional ontology doesn’t provide a Leitfaden for Heidegger’s philosophical development as a whole. Actually, in his first academic writings, Heidegger sh..

Teachings of Muslim saints to earn bread by honest means.

The book explores narratives of black: brings black into different contexts, compares it with white and other colours of spectrum, reflects on the underneath meanings hidden by black. It is a piece of art that is difficult to be classified by genre: it may be a collection of short stories, an autobiography, an essay. Belonging to both literary and philosophic contexts, this book is not “heavy”, both literally and metaphorically, but filled with unusual observations and reflections on meanings hidden behind (...) the colours. (shrink)

[1] Sefer Orḥot Ḥayim leha-Rosh ʻim beʼur "ha-Shem orḥotenu" ... 2. Ḳunṭres Be-Shaʻar ha-melekh ʻal haḳdamat ha-Rambam, kolel tsiyunim u-meḳorim u-veʼurim be-divre ha-Rambam ṿeha-Raʼabad ... 3. Ḳunṭres Tashlum yefeh ʻenayim ʻal Seder Zeraʻim u-Ṭehorot, ʻeduyot, Tamid, Midot, Ḳenim ṿe-ʻod ṿe-hu tsiyunim ʻal mas. elu mi-Yerushalmi u-midrashim ... 4. Ḳunṭres Marʼot maḳom, ṿe-hu tsiyunim ʻal ha-meḳomot she-Rashi ṿe-Tos. meviʼim mirdrash o Yerushalmi ṿe-Tosefta ṿe-khu. ṿe-lo tsuyan meḳoro ... 5. Ḳunṭres Ṭeʻama de-ḳara, ṿe-hu ḳetsat ḥidushim ʻal ha-Torah ṿe-ʻal Neviʼim u-Khetuvim -- ḥeleḳ (...) 3. Heʻarot ʻal seder ha-Shas (ṿe-kholel gam ezeh ḳunṭresim). (shrink)

We show that the e-degree 0'e and the map u ↦ u' are definable in the upper semilattice of all e-degrees. The class of total e-degrees ≥0'e is also definable.